МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ «ЛЬВІВСЬКА ПОЛІТЕХНІКА» ІКТАКафедра БІТ
Звіт до лабораторної роботи № 4 з дисципліни: «Комп’ютерні методи високорівневого проектування пристроїв захисту» на тему: «Проектування систем тестування програмних моделей обчислювальних пристроїв на мові VHDL»  Львів - 2016 Мета роботи – вивчення реалізації процедур і функцій на мові VHDL, набуття практичних навичок використання засобів файлового введення-виведення в програмах на мові VHDL, вивчення принципів побудови систем тестування програмних моделей комп’ютерних пристроїв та набуття практичних навичок їх створення на мові VHDL. Теоретична частина Архітектура системи тестування програмних моделей комп’ютерних пристроїв Тестування програмних моделей комп’ютерних пристроїв виконується під час їх розроблення принаймні двічі – на етапі функціональної симуляції і на етапі часової симуляції. Більшість помилок, внесених під час їх проектування, виявляється на етапі функціональної симуляції. Відтестованою вважається та програмна модель, яка успішно пройшла функціональну і часову симуляцію. Для проведення тестування використовують спеціально розроблені системи тестування програмних моделей комп’ютерних пристроїв. Структура системи тестування в цілому залежить від специфіки конкретного тестованого пристрою, оскільки вона повинна, з одного боку, якомога повніше відображати реальне середовище роботи пристрою, а з іншого – забезпечувати можливість перевірки коректності його роботи у всіх можливих режимах. Як правило, для програмних моделей спеціалізованих пристроїв, що реалізують певні стандартизовані алгоритми, використовують стандартизовані тестові набори. Тестування кожної окремої моделі потребує застосування спеціально розробленої системи тестування з використанням специфічних тестових наборів. Структуру типової системи тестування програмних моделей комп’ютерних пристроїв представлено на Рис. 1. / Рис. 1. Структура типової системи тестування програмних моделей комп’ютерних пристроїв. На вхід тестованого пристрою подають вхідні тестові набори, результати обробки яких порівнюють із відповідними їм зразковими значеннями – вихідними тестовими наборами. Вказані тестові набори записують у текстових файлах, читання і запис яких виконують з використанням вище розглянутих конструктцій. Порівняння результатів обробки вхідних тестових наборів і зразкових значень виконує пристрій порівняння. Результат його роботи визначає коректність (чи некоректність) функціонування тестованого пристрою. Функції керування тестованим пристроєм та пристроєм порівняння виконує пристрій керування системою тестування. Сигнали синхронізації та початкового скиду системи зазвичай подають ззовні. Практична частина Програма на мові С, яка реалізує заданий у варіанті алгоритм шифрування using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; using System.IO; namespace lab_4 { class Program { static void Main(string[] args) { string str; int k = System.IO.File.ReadAllLines("in.txt").Length; int[] inp = new int[k]; int[] key = new int[5]; key[0] = 0; key[1] = 0; key[2] = 0; key[3] = 0; key[4] = 0; int[] oup = new int[k]; System.IO.StreamReader infile = new System.IO.StreamReader("in.txt"); System.IO.StreamWriter outfile = new System.IO.StreamWriter("out.txt"); for (int i = 0; i < k; i++) { str = infile.ReadLine(); Console.WriteLine(str); if (str == "111") inp[i] = 7; if (str == "110") inp[i] = 6; if (str == "101") inp[i] = 5; if (str == "100") inp[i] = 4; if (str == "011") inp[i] = 3; ...